#include<stdio.h>
int main()
{
	double a = 6.47;
	printf("%.1f",a); 
	return 0;
}
